<html>
<head><meta charset="utf-8"><title>crater · general · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/index.html">general</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html">crater</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="175799843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799843">(Sep 16 2019 at 10:21)</a>:</h4>
<p><span class="user-mention" data-user-id="119009">@eddyb</span> </p>
<blockquote>
<p>I can't spend too much time on this until the crater run finishes (I wish I never bothered with crater, it's so bad nowadays...)</p>
</blockquote>
<p>I wonder if we could have "statistical crater" (randomly test a fraction of the things a normal crater run would test), and if that's any good?<br>
Cc <span class="user-mention" data-user-id="121055">@Pietro Albini</span></p>



<a name="175799893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799893">(Sep 16 2019 at 10:22)</a>:</h4>
<p>I'm waiting to get more capacity anyway</p>



<a name="175799898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799898">(Sep 16 2019 at 10:22)</a>:</h4>
<p>should get to that in a few days</p>



<a name="175799901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799901">(Sep 16 2019 at 10:22)</a>:</h4>
<p>I think we're in a transitionary period</p>



<a name="175799908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799908">(Sep 16 2019 at 10:22)</a>:</h4>
<p>that =&gt; pinging the people who need to give us the capacity</p>



<a name="175799911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799911">(Sep 16 2019 at 10:22)</a>:</h4>
<p>don't expect a new builder tomorrow</p>



<a name="175799924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799924">(Sep 16 2019 at 10:23)</a>:</h4>
<p>heh</p>



<a name="175799932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175799932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175799932">(Sep 16 2019 at 10:23)</a>:</h4>
<p>yeah I expect my rolled up run to finish before you get to talk to anyone</p>



<a name="175800172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122651-general/topic/crater/near/175800172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/122651-general/topic/crater.html#175800172">(Sep 16 2019 at 10:28)</a>:</h4>
<blockquote>
<p>should get to that in a few days</p>
</blockquote>
<p>awesome :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>